241. Semantics of programming languages and model theory
پدیدآورنده :
موضوع : ، Programming languages )Electronic computers(-- Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
242. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R. B. Jensen and A. Prestel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
872
243. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R.B. Jensen and A. Prestel
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Set theory - Congresses,Model theory - Congresses
رده :
QA
.
L28
,
no
3
.
872
244. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R.B. Jensen and A. Prestel
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
248
.
S4
1979
245. Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
872
246. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
1
.
L4
v
.
872
247. Set theory and model thoery: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Set theory,Model thoery - Congresses
رده :
QA
3
.
L28
no
.
872
248. Signalling theory embedded in the throughput model to exaine the influence of culture upon external auditors' reliance on the internal audit function
پدیدآورنده: Albawwat, Ibrahim Emair
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Business
249. Signs, mind, and reality: a theory of language as the folk model of the world
پدیدآورنده: Shaumyan, Sebastian.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Semiotics,Philosophy ، Language and languages,، Structural linguistics,، Linguistic analysis )Linguistics(
رده :
P
99
.
S462
2006
250. Srinivasan model /-Solow-Turnpike theory for the Robinson
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Turnpike theory (Economics) ;
251. Studies in model theory
پدیدآورنده : Morley, Michael Darwin, 0391-
موضوع : ، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
252. Studies in model theory
پدیدآورنده: Morley, Michael Darwin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Model theory
رده :
QA
9
.
7
.
M67
253. Studies in model theory
پدیدآورنده: MORLEY,MICHAEL DARWIN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MODEL THEORY
رده :
QA
9
.
7
.
S78
254. Studies in model theory
پدیدآورنده: )by( Jon Barwise )and others( M. D. Morley, editor
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
S78
255. Studies in model theory
پدیدآورنده: M. D. Morley, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory
رده :
QA
1
.
S78
Vol
.
8
256. Supersymmetry and string theory: beyond the standard model
پدیدآورنده: Dine, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Supersymmetry,، String models
رده :
QC
174
.
17
.
S9
.
D56
2007
257. Supersymmetry and string theory: beyond the standard model
پدیدآورنده: Dine, Michael.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Supersymmetry,، String models
رده :
QC
174
.
17
.
S9
D56
2007
258. Supersymmetry and string theory : beyond the standard model
پدیدآورنده: Dine, Michael
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Supersymmetry,، String models
رده :
QC
174
.
17
.
S9D56
2015
259. Supersymmetry and string theory : beyond the standard model
پدیدآورنده: Dine, Michael
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Supersymmetry,، String models
رده :
QC
174
.
17
.
S9D56
260. The Model theory of groups
پدیدآورنده: Ali Nesin and Anand Pillay, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Group theory
رده :
QA
171
.
M63
